#ifndef RTW_HEADER_BINARYSEARCH_U32_h_
#define RTW_HEADER_BINARYSEARCH_U32_h_
#include "rtwtypes.h"

void BINARYSEARCH_U32(uint32_T *piLeft, uint32_T *piRght, uint32_T u, const
                      uint32_T *pData, uint32_T iHi);

#endif

